一种基于核心数据区监视的交叉验证方法

通常商用体系结构模拟器不开源,仿真过程中无法直接获取中间结果.提出了一种基于核心数据区监视的交叉验证方法,可将体系结构模拟器运行过程中核心数据区的变化情况提取出来,用以支持该模拟器与寄存器传输级代码的模拟结果进行交叉比对,快速精确定位两者的执行差异,提高验证人员的查错效率.实验分析和实际应用表明,本方法比传统方法可将查...     

我国将来更高精度CSGM卫星重力测量计划研究

基于卫星跟踪模式的优化选取、关键载荷的优化组合、轨道参数的优化设计、仿真模拟的先期启动和反演方法的优化改进,开展了我国将来CSGM(China’s Satellite Gravity Mission)卫星重力测量计划实施的研究论证。由于卫星跟踪卫星高低/低低(SST-HL/LL)模式对地球中长波重力场的探测精度较高、技术要求相对较低,而且可借鉴当前GRACE卫星的成功经验,因此建议将来CSGM卫星重力测量计划采用SST-HL/LL模式;建议开展激光干涉星间测距仪、复合GPS接收机、非保守力补偿系统、卫星体和加速度计质心调节装置等关键载荷的先期研制;建议将来CSGM卫星的轨道高度(300~400km)和星间距离(100±50km)选择在已有重力卫星的测量盲区;建议将仿真技术应用于CSGM卫星的方案论证、系统设计、部件研制、产品检验、空中使用、故障分析等研发和运行的全过程;对比分析了卫星轨道摄动法、动力学法、能量守恒法和加速度法的优缺点,建议寻求新型、高精度、高效率和全频段的卫星重力反演方法;提出将来CSGM卫星重力测量计划的预期科学目标:在300阶处,累计大地水准面精度和累计重力异常精度分别为1~5cm和1~5mGal。     

分布式计算机网络数据加密研究

针对C~3I 系统对分布式计算机网络数据加密的特定需求,重点对网络加密方式,密码装置、软件编程设计等核心问题进行了研究。可对数据加密总体设计与软件概要设计提供参考。     

判断实对称矩阵为正定、半正定、负定、半负定或不定的一个算法

给出判别实对称矩阵为正定、半正定、负定、半负定或不定的一个算法;采用选最大对角元的方法,可使数值计算稳定性好。讨论了该算法的运算量,得到乘除法和加减法总次数分别至多为ｎ（ｎ－１）（ｎ＋４）／６和ｎ（ｎ－１）（ｎ＋１）／６的结论。最后给出运行该算法的数值例子。     

Perspectives for the development of key industrial capabilities for Canada’s defence sector

With the Canada First Defence Strategy, Canada has put forth a major opportunity to reconcile national security imperatives and industrial policy. The Jenkins Report (2013) set out to examine ways to use that procurement effort to foster key industrial capabilities (KICs) that would put the Canadian defence industry at an advantage both nationally and internationally. The Canadian defence industry should then develop highly focused capabilities with a view to moving up global value chains. As such, KICs that hold the best potential should be selected. They should be sustained through a range of strategies that are however contingent on the elimination of policy gaps. This leads to a balancing act between the need to control intellectual property assets versus accessing them in a world where national boundaries are eroded. Canada’s industry should target opportunities outside North America while continuing to focus on better integration with the North American industry.     

面向结构洞的指挥控制网络关键节点识别方法

针对目前指挥控制网络关键节点识别方法利用局部信息识别精度低、利用全局信息识别复杂度高的问题,提出了一种面向结构洞的指挥控制网络关键节点识别方法,该方法综合考虑了指挥控制网络结构特征和全局拓扑信息,引入了层级流介数的概念用以计算网络的约束系数。实验分析表明,该方法提高了关键节点识别精度,降低了算法复杂度,更加适用于指挥控制网络关键节点识别的需要。     

使用三个数域的数域筛算法

大整数分解难题是RSA密码的数学安全基础.目前数域筛算法是分解365比特以上大整数的最有效方法,然而它的时间复杂度仍然是亚指数的.对于目前普遍使用的1024比特以上大整数,数域筛算法还不能分解,所以研究数域筛算法具有重要的意义.现有的一般数域筛算法普遍使用两个数域,对多个数域的研究极少.一般数域筛算法经过修改可以使用三个数域,即两个代数数域和一个有理数域.分析表明:修改后的数域筛算法与原来的一般数域筛算法在时间复杂度上处于同一量级.但修改后的数域筛算法有更多地方可以合并计算,所以计算速度更快了.通过两个实验也验证了这一结论.     

偶变元MAI旋转对称布尔函数

代数免疫度是布尔函数的一个重要密码学指标.给出了具有最大代数免疫度的偶数元旋转对称布尔函数的两种构造方法.进一步地,研究了特殊情形时所构造的旋转对称布尔函数的非线性度,当n≥18时,构造3得到的MAI旋转对称布尔函数的非线性度优于已知构造的偶数元MAI旋转对称布尔函数的非线性度.     

代数免疫度最优的旋转对称布尔函数的构造

代数免疫度是布尔函数的一个重要密码学指标,为了抵挡代数攻击,密码算法中所使用的布尔函数应当具有较高的代数免疫度.本文利用“轨道交换”技术,给出了一类具有最优代数免疫度的旋转对称布尔函数的构造,该类函数对于代数攻击具有较强的抵抗能力,同时具有较高的非线性度和最优代数次数.     

论申博立项建设中的信息资源保障

信息资源保障是申博立项和重点学科建设的重要支撑力量。制约当前图书馆信息资源保障能力的主要因素有四个：信息资源短缺、资源共享困难、应用水平低下、重点不够突出。提升信息资源保障能力,可以采取整合各类信息资源、建立联合保障体系、创新信息服务模式、挖掘重点学科资源等对策。